Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
841	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
842	Microsoft PowerPoint - DB2_ODBC.ppt Add to Reading List Source URL: oir.uga.edu Language: English - Date: 2015-04-29 13:25:27 Software Computing Computer programming Open Database Connectivity Oracle Database Oracle Corporation Data source name JDBC driver OLE DB provider
843	Paper Title (use style: paper title) Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Artificial intelligence Computer programming Cognitive science Software engineering Predation Automated planning and scheduling Behavior Q-learning Behavior tree Reinforcement learning B-tree Ethology
844	Integrating Prose as First-Class Citizens with Models and Code Markus Voelter independent/itemis, Abstract. In programming and modeling we strive to express structures and behaviors as formally as possibl Add to Reading List Source URL: voelter.de Language: English - Date: 2015-08-19 04:33:52 Software engineering Computing Computer programming HTML Technical communication Cross-platform software Source code Markup languages JetBrains MPS Comment Literate programming Integrated development environment
845	CS 112: Intro to Comp Prog  Tkinter  Add to Reading List Source URL: mason.gmu.edu Language: English - Date: 2010-08-26 14:56:59 Software Computing Widget toolkits Computer programming Graphical user interfaces Tk Tkinter Application programming interfaces Widget Layout manager Button
846	Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Computing Software engineering Computer programming Software bugs Arbitrary code execution Program slicing Instruction set Vulnerability Buffer overflow Symbolic execution Operand Assembly language
847	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Concurrency control Computing Computer programming Software engineering Lock Linearizability Resource Acquisition Is Initialization Non-blocking algorithm Thread Mutual exclusion Consistency model Queue
848	Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-10-24 15:53:22 Concurrent computing Computing Abstract data types Concurrency control Computer programming Linearizability Transaction processing Inter-process communication Queue FIFO XC Double-ended queue
849	HP Prime Graphing Calculator The Tutorial Series This is the second issue of a series of tutorials for the HP Prime, written by Edward Shore. In this session, we will cover MSGBOX, IF-THEN-ELSE, PRINT, and the FOR Add to Reading List Source URL: hp-prime.de Language: English - Date: 2014-05-16 06:30:28 Software engineering Computer programming Computing Scripting languages Programming languages Programmable calculators Len Infinite loop BASIC COMMAND.COM Graphing calculator
850	Science Course Pathways for Middle and High School On April 27th, 2015, a work group of science teachers, higher education representatives, administrators and instructional leaders gathered to create recommended model co Add to Reading List Source URL: doe.sd.gov Language: English - Date: 2015-08-06 16:54:55 Software engineering Programming language theory Computer programming ALGOL 68 European Research Council Resident Evil

UPDATE